The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.
Source: wiktionary
Ranked by relevance and common usage.
1 total sentences available.
The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.
Source: wiktionary